S. Boolos, C. Jeffrey, P. Burgess, "Computability and Logic" - Internet Explorer 2.0

S. Boolos, C. Jeffrey, P. Burgess, "Computability and Logic"

George S. Boolos, Richard C. Jeffery, John P. Burgess